terminal operations of stream api